- incompletitud
- ► masculino LÓGICA Propiedad de los sis temas lógicos en los que cualquier expresión cerrada no es derivable, dentro del mismo sistema.
Enciclopedia Universal. 2012.
Enciclopedia Universal. 2012.
Teoremas de incompletitud de Gödel — Kurt Gödel a los 19 años de edad, cinco años antes de la demostración de los teoremas. Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1930. Ambos están relacionados con la… … Wikipedia Español
Teoremas de incompletitud de Gödel — En lógica matemática se conocen como teoremas de incompletitud de Gödel dos célebres teoremas demostrados por Kurt Gödel en 1930. Un tanto simplificado, el primer teorema de incompletitud de Gödel afirma que: En todo sistema formal consistente… … Enciclopedia Universal
Kurt Gödel — Para el lenguaje de programación, véase Gödel (lenguaje de programación). Kurt Gödel Kurt Gödel Nacimiento 28 de abril … Wikipedia Español
Metamatemática — La metamatemática es el estudio matemático de los fundamentos de las matemáticas. Contenido 1 Contexto histórico del concepto 1.1 La paradoja de Richard 1.2 La demostración de Zermelo … Wikipedia Español
Axiomas de Zermelo-Fraenkel — Los axiomas de Zermelo Fraenkel, formulados por Ernst Zermelo y Adolf Fraenkel, son un sistema axiomático concebido para formular la teoría de conjuntos. Normalmente se abrevian como ZF o en su forma más común, complementados por el axioma de… … Wikipedia Español
Gregory Chaitin — Gregory J. Chaitin (nacido en Nueva York en 1947) es un matemático y científico de la computación estadounidense nacionalizado argentino. Contenido 1 Biografía 2 Bibliografía (en inglés) 3 Referencias … Wikipedia Español
Lógica doxástica — La lógica doxástica (del griego antiguo δόξα, doxa, creencia ) es una lógica modal que se ocupa del razonamiento acerca de las creencias. Típicamente, una lógica doxástica utiliza la expresión para significar el razonador c cree que p es… … Wikipedia Español
Teoría del todo — La teoría del todo (o ToE por sus siglas en inglés, Theory of Everything ) es una teoría hipotética de la Física teórica que explica y conecta en una sola todos los fenómenos físicos conocidos. Inicialmente, el término fue usado con una… … Wikipedia Español
Teoría de la computabilidad — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar … Wikipedia Español
David Hilbert — Nacimiento 23 de enero de 1862 Königsberg, Prusia Oriental Fallecimiento 14 de febrero de … Wikipedia Español